A Logical Model of Knowledge
نویسنده
چکیده
There are several approaches to formalizing knowledge. The concept of knowledge is often introduced by a special operator whose properties are defined by a number of axioms. A situation is then modelled by using this operator in problem-specific axioms. This article presents a different approach a first-order logical model which does not use any new operators. The properties of knowledge should follow from the problem-specific axioms only. The advantages are that the model is simpler and requires fewer axioms. The formalization of a problem can almost directly be used as a computer program which produces the solutions.
منابع مشابه
The theory of observation Logico-historical philosophy of as a transformative theory of sciences
Innovation and evolution in sciences needs to its own logical methodology. This paper, considering the necessity of evolution in sciences, has intended to establish a theory called the theory of observation. It would be counted as a model for the philosophies of with a logico-historical approach. Following the purpose, the author has explained technical terms such as research method, theory,...
متن کاملIntuitive and logical way of thinking in the education of architectural design courses
Different approaches and methods are used in the architecture design process that logical and intuitional methods are the most common ones. The role of knowledge in each method is different. Investigating aspects of knowledge demonstrated the hierarchy from data to wisdom and the interaction of explicit and tacit types, subjective and objective sources, and analytical and exploratory ways of p...
متن کاملDesigning a logical data model of athletes' hospital information management system based on international standards
Background and purpose: Today, hospital care, relying on the health record system, has received more attention than before. Considering the diversity of data in these systems, the design of standard conceptual and logical models by service providers will play an important role in their success. Therefore, this research was conducted with the aim of designing a logical data model of the hospital...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملWhat is the philosophy of Islamic architecture (analysis of discipline's philosophy in architecture based on observation theory)
Lack of attention to the philosophy of architecture as an intermediate science between general philosophy and architecture science has caused many researchers to link their research to philosophy without methodology. They introduce their research as the philosophy of Islamic architecture; While the philosophy of Islamic architecture is a kind of philosophy. The general philosophy merely provide...
متن کاملInquiry-Based Learning: A Model for Improving the Humanities in Iranian Higher education
The humanities in Iran face major challenges: the challenge of graduate unemployment, the challenge of localization, the challenge of the reason for attending classroom and the challenge of dissertations and articles without identifying and structuring real problems. To resolve these challenges, different approaches have been presented by the theorists. This article analyzes the problematic sta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1983